$\forall$$T$:(Id$\rightarrow$Type), ${\it tab}$:secret{-}table($T$), $n$:$\mathbb{N}$$_{\mbox{\scriptsize $<\parallel$${\it tab}$$\parallel$ }}$. data(${\it tab}$;$n$) $\in$ data($T$)